Optimal. Leaf size=237 \[ \frac {a^2 x}{c^3}-\frac {\left (3 b^2 c^4 d-2 a b c^3 \left (2 c^2+d^2\right )+a^2 \left (6 c^4 d-5 c^2 d^3+2 d^5\right )\right ) \tanh ^{-1}\left (\frac {\sqrt {c-d} \tan \left (\frac {1}{2} (e+f x)\right )}{\sqrt {c+d}}\right )}{c^3 (c-d)^{5/2} (c+d)^{5/2} f}-\frac {d (b c-a d)^2 \sin (e+f x)}{2 c^2 \left (c^2-d^2\right ) f (d+c \cos (e+f x))^2}-\frac {(b c-a d) \left (3 a d \left (2 c^2-d^2\right )-b c \left (2 c^2+d^2\right )\right ) \sin (e+f x)}{2 c^2 \left (c^2-d^2\right )^2 f (d+c \cos (e+f x))} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.56, antiderivative size = 237, normalized size of antiderivative = 1.00, number of steps
used = 6, number of rules used = 6, integrand size = 25, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.240, Rules used = {4026, 3067,
3100, 2814, 2738, 214} \begin {gather*} -\frac {\left (a^2 \left (6 c^4 d-5 c^2 d^3+2 d^5\right )-2 a b c^3 \left (2 c^2+d^2\right )+3 b^2 c^4 d\right ) \tanh ^{-1}\left (\frac {\sqrt {c-d} \tan \left (\frac {1}{2} (e+f x)\right )}{\sqrt {c+d}}\right )}{c^3 f (c-d)^{5/2} (c+d)^{5/2}}+\frac {a^2 x}{c^3}-\frac {(b c-a d) \left (3 a d \left (2 c^2-d^2\right )-b c \left (2 c^2+d^2\right )\right ) \sin (e+f x)}{2 c^2 f \left (c^2-d^2\right )^2 (c \cos (e+f x)+d)}-\frac {d (b c-a d)^2 \sin (e+f x)}{2 c^2 f \left (c^2-d^2\right ) (c \cos (e+f x)+d)^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 214
Rule 2738
Rule 2814
Rule 3067
Rule 3100
Rule 4026
Rubi steps
\begin {align*} \int \frac {(a+b \sec (e+f x))^2}{(c+d \sec (e+f x))^3} \, dx &=\int \frac {\cos (e+f x) (b+a \cos (e+f x))^2}{(d+c \cos (e+f x))^3} \, dx\\ &=-\frac {d (b c-a d)^2 \sin (e+f x)}{2 c^2 \left (c^2-d^2\right ) f (d+c \cos (e+f x))^2}-\frac {\int \frac {-2 c (b c-a d)^2+\left (b^2 c^2 d-2 a b c \left (2 c^2-d^2\right )+a^2 \left (2 c^2 d-d^3\right )\right ) \cos (e+f x)-2 a^2 c \left (c^2-d^2\right ) \cos ^2(e+f x)}{(d+c \cos (e+f x))^2} \, dx}{2 c^2 \left (c^2-d^2\right )}\\ &=-\frac {d (b c-a d)^2 \sin (e+f x)}{2 c^2 \left (c^2-d^2\right ) f (d+c \cos (e+f x))^2}-\frac {(b c-a d) \left (3 a d \left (2 c^2-d^2\right )-b c \left (2 c^2+d^2\right )\right ) \sin (e+f x)}{2 c^2 \left (c^2-d^2\right )^2 f (d+c \cos (e+f x))}-\frac {\int \frac {-c^2 (b c-a d) \left (4 a c^2-3 b c d-a d^2\right )-2 a^2 c \left (c^2-d^2\right )^2 \cos (e+f x)}{d+c \cos (e+f x)} \, dx}{2 c^3 \left (c^2-d^2\right )^2}\\ &=\frac {a^2 x}{c^3}-\frac {d (b c-a d)^2 \sin (e+f x)}{2 c^2 \left (c^2-d^2\right ) f (d+c \cos (e+f x))^2}-\frac {(b c-a d) \left (3 a d \left (2 c^2-d^2\right )-b c \left (2 c^2+d^2\right )\right ) \sin (e+f x)}{2 c^2 \left (c^2-d^2\right )^2 f (d+c \cos (e+f x))}-\frac {\left (3 b^2 c^4 d-2 a b c^3 \left (2 c^2+d^2\right )+a^2 \left (6 c^4 d-5 c^2 d^3+2 d^5\right )\right ) \int \frac {1}{d+c \cos (e+f x)} \, dx}{2 c^3 \left (c^2-d^2\right )^2}\\ &=\frac {a^2 x}{c^3}-\frac {d (b c-a d)^2 \sin (e+f x)}{2 c^2 \left (c^2-d^2\right ) f (d+c \cos (e+f x))^2}-\frac {(b c-a d) \left (3 a d \left (2 c^2-d^2\right )-b c \left (2 c^2+d^2\right )\right ) \sin (e+f x)}{2 c^2 \left (c^2-d^2\right )^2 f (d+c \cos (e+f x))}-\frac {\left (3 b^2 c^4 d-2 a b c^3 \left (2 c^2+d^2\right )+a^2 \left (6 c^4 d-5 c^2 d^3+2 d^5\right )\right ) \text {Subst}\left (\int \frac {1}{c+d+(-c+d) x^2} \, dx,x,\tan \left (\frac {1}{2} (e+f x)\right )\right )}{c^3 \left (c^2-d^2\right )^2 f}\\ &=\frac {a^2 x}{c^3}+\frac {\left (4 a b c^5-6 a^2 c^4 d-3 b^2 c^4 d+2 a b c^3 d^2+5 a^2 c^2 d^3-2 a^2 d^5\right ) \tanh ^{-1}\left (\frac {\sqrt {c-d} \tan \left (\frac {1}{2} (e+f x)\right )}{\sqrt {c+d}}\right )}{c^3 (c-d)^{5/2} (c+d)^{5/2} f}-\frac {d (b c-a d)^2 \sin (e+f x)}{2 c^2 \left (c^2-d^2\right ) f (d+c \cos (e+f x))^2}-\frac {(b c-a d) \left (3 a d \left (2 c^2-d^2\right )-b c \left (2 c^2+d^2\right )\right ) \sin (e+f x)}{2 c^2 \left (c^2-d^2\right )^2 f (d+c \cos (e+f x))}\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(493\) vs. \(2(237)=474\).
time = 2.05, size = 493, normalized size = 2.08 \begin {gather*} \frac {(d+c \cos (e+f x)) \sec (e+f x) (a+b \sec (e+f x))^2 \left (\frac {4 \left (3 b^2 c^4 d-2 a b c^3 \left (2 c^2+d^2\right )+a^2 \left (6 c^4 d-5 c^2 d^3+2 d^5\right )\right ) \tanh ^{-1}\left (\frac {(-c+d) \tan \left (\frac {1}{2} (e+f x)\right )}{\sqrt {c^2-d^2}}\right ) (d+c \cos (e+f x))^2}{\left (c^2-d^2\right )^{5/2}}+\frac {2 a^2 c^6 e-6 a^2 c^2 d^4 e+4 a^2 d^6 e+2 a^2 c^6 f x-6 a^2 c^2 d^4 f x+4 a^2 d^6 f x+8 a^2 c d \left (c^2-d^2\right )^2 (e+f x) \cos (e+f x)+2 a^2 c^2 \left (c^2-d^2\right )^2 (e+f x) \cos (2 (e+f x))+2 b^2 c^5 d \sin (e+f x)-12 a b c^4 d^2 \sin (e+f x)+10 a^2 c^3 d^3 \sin (e+f x)+4 b^2 c^3 d^3 \sin (e+f x)-4 a^2 c d^5 \sin (e+f x)+2 b^2 c^6 \sin (2 (e+f x))-8 a b c^5 d \sin (2 (e+f x))+6 a^2 c^4 d^2 \sin (2 (e+f x))+b^2 c^4 d^2 \sin (2 (e+f x))+2 a b c^3 d^3 \sin (2 (e+f x))-3 a^2 c^2 d^4 \sin (2 (e+f x))}{\left (c^2-d^2\right )^2}\right )}{4 c^3 f (b+a \cos (e+f x))^2 (c+d \sec (e+f x))^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.40, size = 386, normalized size = 1.63
method | result | size |
derivativedivides | \(\frac {\frac {\frac {2 \left (-\frac {\left (6 a^{2} c^{2} d^{2}+a^{2} c \,d^{3}-2 a^{2} d^{4}-8 a b \,c^{3} d -2 a b \,c^{2} d^{2}+2 b^{2} c^{4}+b^{2} c^{3} d +2 b^{2} c^{2} d^{2}\right ) c \left (\tan ^{3}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{2 \left (c -d \right ) \left (c^{2}+2 c d +d^{2}\right )}+\frac {c \left (6 a^{2} c^{2} d^{2}-a^{2} c \,d^{3}-2 a^{2} d^{4}-8 a b \,c^{3} d +2 a b \,c^{2} d^{2}+2 b^{2} c^{4}-b^{2} c^{3} d +2 b^{2} c^{2} d^{2}\right ) \tan \left (\frac {f x}{2}+\frac {e}{2}\right )}{2 \left (c +d \right ) \left (c -d \right )^{2}}\right )}{\left (c \left (\tan ^{2}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )-d \left (\tan ^{2}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )-c -d \right )^{2}}-\frac {\left (6 a^{2} c^{4} d -5 a^{2} c^{2} d^{3}+2 a^{2} d^{5}-4 a b \,c^{5}-2 a b \,c^{3} d^{2}+3 b^{2} c^{4} d \right ) \arctanh \left (\frac {\left (c -d \right ) \tan \left (\frac {f x}{2}+\frac {e}{2}\right )}{\sqrt {\left (c +d \right ) \left (c -d \right )}}\right )}{\left (c^{4}-2 c^{2} d^{2}+d^{4}\right ) \sqrt {\left (c +d \right ) \left (c -d \right )}}}{c^{3}}+\frac {2 a^{2} \arctan \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{c^{3}}}{f}\) | \(386\) |
default | \(\frac {\frac {\frac {2 \left (-\frac {\left (6 a^{2} c^{2} d^{2}+a^{2} c \,d^{3}-2 a^{2} d^{4}-8 a b \,c^{3} d -2 a b \,c^{2} d^{2}+2 b^{2} c^{4}+b^{2} c^{3} d +2 b^{2} c^{2} d^{2}\right ) c \left (\tan ^{3}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{2 \left (c -d \right ) \left (c^{2}+2 c d +d^{2}\right )}+\frac {c \left (6 a^{2} c^{2} d^{2}-a^{2} c \,d^{3}-2 a^{2} d^{4}-8 a b \,c^{3} d +2 a b \,c^{2} d^{2}+2 b^{2} c^{4}-b^{2} c^{3} d +2 b^{2} c^{2} d^{2}\right ) \tan \left (\frac {f x}{2}+\frac {e}{2}\right )}{2 \left (c +d \right ) \left (c -d \right )^{2}}\right )}{\left (c \left (\tan ^{2}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )-d \left (\tan ^{2}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )-c -d \right )^{2}}-\frac {\left (6 a^{2} c^{4} d -5 a^{2} c^{2} d^{3}+2 a^{2} d^{5}-4 a b \,c^{5}-2 a b \,c^{3} d^{2}+3 b^{2} c^{4} d \right ) \arctanh \left (\frac {\left (c -d \right ) \tan \left (\frac {f x}{2}+\frac {e}{2}\right )}{\sqrt {\left (c +d \right ) \left (c -d \right )}}\right )}{\left (c^{4}-2 c^{2} d^{2}+d^{4}\right ) \sqrt {\left (c +d \right ) \left (c -d \right )}}}{c^{3}}+\frac {2 a^{2} \arctan \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{c^{3}}}{f}\) | \(386\) |
risch | \(\text {Expression too large to display}\) | \(1526\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: ValueError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 685 vs.
\(2 (228) = 456\).
time = 3.08, size = 1433, normalized size = 6.05 \begin {gather*} \left [\frac {4 \, {\left (a^{2} c^{8} - 3 \, a^{2} c^{6} d^{2} + 3 \, a^{2} c^{4} d^{4} - a^{2} c^{2} d^{6}\right )} f x \cos \left (f x + e\right )^{2} + 8 \, {\left (a^{2} c^{7} d - 3 \, a^{2} c^{5} d^{3} + 3 \, a^{2} c^{3} d^{5} - a^{2} c d^{7}\right )} f x \cos \left (f x + e\right ) + 4 \, {\left (a^{2} c^{6} d^{2} - 3 \, a^{2} c^{4} d^{4} + 3 \, a^{2} c^{2} d^{6} - a^{2} d^{8}\right )} f x - {\left (4 \, a b c^{5} d^{2} + 2 \, a b c^{3} d^{4} + 5 \, a^{2} c^{2} d^{5} - 2 \, a^{2} d^{7} - 3 \, {\left (2 \, a^{2} + b^{2}\right )} c^{4} d^{3} + {\left (4 \, a b c^{7} + 2 \, a b c^{5} d^{2} + 5 \, a^{2} c^{4} d^{3} - 2 \, a^{2} c^{2} d^{5} - 3 \, {\left (2 \, a^{2} + b^{2}\right )} c^{6} d\right )} \cos \left (f x + e\right )^{2} + 2 \, {\left (4 \, a b c^{6} d + 2 \, a b c^{4} d^{3} + 5 \, a^{2} c^{3} d^{4} - 2 \, a^{2} c d^{6} - 3 \, {\left (2 \, a^{2} + b^{2}\right )} c^{5} d^{2}\right )} \cos \left (f x + e\right )\right )} \sqrt {c^{2} - d^{2}} \log \left (\frac {2 \, c d \cos \left (f x + e\right ) - {\left (c^{2} - 2 \, d^{2}\right )} \cos \left (f x + e\right )^{2} - 2 \, \sqrt {c^{2} - d^{2}} {\left (d \cos \left (f x + e\right ) + c\right )} \sin \left (f x + e\right ) + 2 \, c^{2} - d^{2}}{c^{2} \cos \left (f x + e\right )^{2} + 2 \, c d \cos \left (f x + e\right ) + d^{2}}\right ) + 2 \, {\left (b^{2} c^{7} d - 6 \, a b c^{6} d^{2} + 6 \, a b c^{4} d^{4} + 2 \, a^{2} c d^{7} + {\left (5 \, a^{2} + b^{2}\right )} c^{5} d^{3} - {\left (7 \, a^{2} + 2 \, b^{2}\right )} c^{3} d^{5} + {\left (2 \, b^{2} c^{8} - 8 \, a b c^{7} d + 10 \, a b c^{5} d^{3} - 2 \, a b c^{3} d^{5} + 3 \, a^{2} c^{2} d^{6} + {\left (6 \, a^{2} - b^{2}\right )} c^{6} d^{2} - {\left (9 \, a^{2} + b^{2}\right )} c^{4} d^{4}\right )} \cos \left (f x + e\right )\right )} \sin \left (f x + e\right )}{4 \, {\left ({\left (c^{11} - 3 \, c^{9} d^{2} + 3 \, c^{7} d^{4} - c^{5} d^{6}\right )} f \cos \left (f x + e\right )^{2} + 2 \, {\left (c^{10} d - 3 \, c^{8} d^{3} + 3 \, c^{6} d^{5} - c^{4} d^{7}\right )} f \cos \left (f x + e\right ) + {\left (c^{9} d^{2} - 3 \, c^{7} d^{4} + 3 \, c^{5} d^{6} - c^{3} d^{8}\right )} f\right )}}, \frac {2 \, {\left (a^{2} c^{8} - 3 \, a^{2} c^{6} d^{2} + 3 \, a^{2} c^{4} d^{4} - a^{2} c^{2} d^{6}\right )} f x \cos \left (f x + e\right )^{2} + 4 \, {\left (a^{2} c^{7} d - 3 \, a^{2} c^{5} d^{3} + 3 \, a^{2} c^{3} d^{5} - a^{2} c d^{7}\right )} f x \cos \left (f x + e\right ) + 2 \, {\left (a^{2} c^{6} d^{2} - 3 \, a^{2} c^{4} d^{4} + 3 \, a^{2} c^{2} d^{6} - a^{2} d^{8}\right )} f x + {\left (4 \, a b c^{5} d^{2} + 2 \, a b c^{3} d^{4} + 5 \, a^{2} c^{2} d^{5} - 2 \, a^{2} d^{7} - 3 \, {\left (2 \, a^{2} + b^{2}\right )} c^{4} d^{3} + {\left (4 \, a b c^{7} + 2 \, a b c^{5} d^{2} + 5 \, a^{2} c^{4} d^{3} - 2 \, a^{2} c^{2} d^{5} - 3 \, {\left (2 \, a^{2} + b^{2}\right )} c^{6} d\right )} \cos \left (f x + e\right )^{2} + 2 \, {\left (4 \, a b c^{6} d + 2 \, a b c^{4} d^{3} + 5 \, a^{2} c^{3} d^{4} - 2 \, a^{2} c d^{6} - 3 \, {\left (2 \, a^{2} + b^{2}\right )} c^{5} d^{2}\right )} \cos \left (f x + e\right )\right )} \sqrt {-c^{2} + d^{2}} \arctan \left (-\frac {\sqrt {-c^{2} + d^{2}} {\left (d \cos \left (f x + e\right ) + c\right )}}{{\left (c^{2} - d^{2}\right )} \sin \left (f x + e\right )}\right ) + {\left (b^{2} c^{7} d - 6 \, a b c^{6} d^{2} + 6 \, a b c^{4} d^{4} + 2 \, a^{2} c d^{7} + {\left (5 \, a^{2} + b^{2}\right )} c^{5} d^{3} - {\left (7 \, a^{2} + 2 \, b^{2}\right )} c^{3} d^{5} + {\left (2 \, b^{2} c^{8} - 8 \, a b c^{7} d + 10 \, a b c^{5} d^{3} - 2 \, a b c^{3} d^{5} + 3 \, a^{2} c^{2} d^{6} + {\left (6 \, a^{2} - b^{2}\right )} c^{6} d^{2} - {\left (9 \, a^{2} + b^{2}\right )} c^{4} d^{4}\right )} \cos \left (f x + e\right )\right )} \sin \left (f x + e\right )}{2 \, {\left ({\left (c^{11} - 3 \, c^{9} d^{2} + 3 \, c^{7} d^{4} - c^{5} d^{6}\right )} f \cos \left (f x + e\right )^{2} + 2 \, {\left (c^{10} d - 3 \, c^{8} d^{3} + 3 \, c^{6} d^{5} - c^{4} d^{7}\right )} f \cos \left (f x + e\right ) + {\left (c^{9} d^{2} - 3 \, c^{7} d^{4} + 3 \, c^{5} d^{6} - c^{3} d^{8}\right )} f\right )}}\right ] \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (a + b \sec {\left (e + f x \right )}\right )^{2}}{\left (c + d \sec {\left (e + f x \right )}\right )^{3}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 658 vs.
\(2 (223) = 446\).
time = 0.61, size = 658, normalized size = 2.78 \begin {gather*} \frac {\frac {{\left (4 \, a b c^{5} - 6 \, a^{2} c^{4} d - 3 \, b^{2} c^{4} d + 2 \, a b c^{3} d^{2} + 5 \, a^{2} c^{2} d^{3} - 2 \, a^{2} d^{5}\right )} {\left (\pi \left \lfloor \frac {f x + e}{2 \, \pi } + \frac {1}{2} \right \rfloor \mathrm {sgn}\left (-2 \, c + 2 \, d\right ) + \arctan \left (-\frac {c \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - d \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )}{\sqrt {-c^{2} + d^{2}}}\right )\right )}}{{\left (c^{7} - 2 \, c^{5} d^{2} + c^{3} d^{4}\right )} \sqrt {-c^{2} + d^{2}}} + \frac {{\left (f x + e\right )} a^{2}}{c^{3}} - \frac {2 \, b^{2} c^{5} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} - 8 \, a b c^{4} d \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} - b^{2} c^{4} d \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} + 6 \, a^{2} c^{3} d^{2} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} + 6 \, a b c^{3} d^{2} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} + b^{2} c^{3} d^{2} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} - 5 \, a^{2} c^{2} d^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} + 2 \, a b c^{2} d^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} - 2 \, b^{2} c^{2} d^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} - 3 \, a^{2} c d^{4} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} + 2 \, a^{2} d^{5} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} - 2 \, b^{2} c^{5} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) + 8 \, a b c^{4} d \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - b^{2} c^{4} d \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - 6 \, a^{2} c^{3} d^{2} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) + 6 \, a b c^{3} d^{2} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - b^{2} c^{3} d^{2} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - 5 \, a^{2} c^{2} d^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - 2 \, a b c^{2} d^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - 2 \, b^{2} c^{2} d^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) + 3 \, a^{2} c d^{4} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) + 2 \, a^{2} d^{5} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )}{{\left (c^{6} - 2 \, c^{4} d^{2} + c^{2} d^{4}\right )} {\left (c \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} - d \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} - c - d\right )}^{2}}}{f} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 12.14, size = 2500, normalized size = 10.55 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________